We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

Partiendo de que las empresas obtienen mejores resultados si su equipo profesional está integrado y se considera valorado por sus superiores y por el cliente final, este trabajo analiza el valor que puede tener la Gestión de las Emociones en la Gestión del Conflicto Empresarial. Para ello se realiza una profunda revisión bibliográfica sobre el concepto y su aplicación y se muestran los resultados obtenidos de una investigación cuantitativa realizada en el Sector Hotelero. Los resultados demuestran la relevancia de las (...) Emociones en cualquiera de las relaciones de la empresa, con el cliente interno y con el externo. (shrink)

Es esencial fortalecer el camino hacia la mayor participación y la expansión democrática; sin embargo, aún se sigue considerando al género como un marcador de diferencia. Con un estudio de multicasos, transversal con enfoque metodológico mixto, se concluyó que los directivos tienden a estereotipar su propio comportamiento de acuerdo a los valores culturales concebidos por la sociedad para cada sexo y que el mayor desarrollo de la práctica de la dirección, principios de dirección masculina según Mintzberg y/o femenina según Helgesen (...) con la finalidad de plantear lineamientos de mejora, se puede deber al énfasis que ponga cada director o directora. (shrink)

Las tres novelas escogidas responden a la decadencia económica de Valparaíso a mediados del siglo XX al representar el espacio y la sociedad, así como los afectos predominantes: Valparaíso, puerto de nostalgia de Salvador Reyes, se sitúa en el Plan de la ciudad y fluctúa entre la idealización nostálgica de la burguesía inglesa y la bohemia del presente; Hijo de ladrón de Manuel Rojas y El mundo herido de Armando Méndez Carrasco, privilegian, en cambio, el espacio de los cerros y (...) transitan hacia un período de duelo frente al tiempo perdido, actualizando, respectivamente, los valores ilustrados y la comunidad tradicional. (shrink)

Introduction: Resilience is a multidimensional and dynamic construct associated with positive growth and the capacity to transform stressful and negative factors into opportunities of personal development and self-improvement when faced with difficult experiences. The resilience process of each individual integrates multiple analysis levels, which range from genetic-environmental interactions to a complex process of adaptation between the individual and his/her family, friends, co-workers, society, and culture.Objective: To determine whether resilience improves in students of occupational therapy when exposed for the first time (...) to practice placement education.Methodology: Quasi-experimental, prospective, observational, multi-center study with a sample composed of students from the Degree of Occupational Therapy of the public universities of Málaga and Castilla-La Mancha. Two weeks prior to the beginning of the practice education period, the participants completed a questionnaire that included sociodemographic data and the area of their internships. They were also given the Spanish version of the Connor-Davidson's resilience scale. All these instruments were also completed 1 week after the end of the clinical practice.Results: There were statistically significant differences between the variables that make up resilience and the different internship areas. On the other hand, there was a significant improvement of global resilience after the clinical practice period, in both women and men, when the internship area was not considered.Conclusions: The results show that resilient students are more optimistic and work to improve a situation beyond doing simply what is expected of them, knowing how to control their feelings. This is beneficial for students in practice education, since, during these, they face difficult situations that require a resilient pattern, which helps reduce stress and the burnout syndrome. (shrink)

El objetivo del estudio fue sistematizar y analizar la revisión teórica que fundamenta la experiencia pedagógica y el método socializado de los estudiantes de educación superior. El enfoque del estudio fue cualitativo, tipo de investigación revisión de literatura, diseño narrativo, considerando criterios de similitud en las diversas teorías revisadas en artículos de alto impacto, además, de utilizar las estrategias de diagrama de árbol y la estrategia de investigación activa (DIA). Se concluye que existe incipiente uso del método socializado; carencia de (...) autorreflexión; poco análisis reflexivo en la experiencia pedagógica del estudiante de la formación inicial docente (FID). (shrink)

En esta investigación sometemos, a 640 alumnos/as de cuarto a sexto de Primaria, a prueba un modelo relacional entre seis habilidades socio – emocionales, la percepción y el resultado académico en Lengua Castellana y Literatura. Los resultados obtenidos en el análisis nos muestran significatividad entre la percepción y el resultado real obtenido en Lengua y las habilidades de toma de conciencia y control emocional, las habilidades socioemocionales, la cooperación y ayuda durante el trabajo, las habilidades de vida y bienestar subjetiva (...) como mejora de la calidad de vida y como poder motivacional en el rendimiento académico en Lengua Castellana y Literatura. (shrink)

Andrés de Guevara y Basoazábal (1748-1801), jesuita novohispano guanajuatense, escribió las Institutionum elementarium philosophiae, donde su autor ofrece un currículo deseable para la juventud mexicana que incluya la ciencia moderna empírica, la política virtuosa y la sabiduría humana. A través de una traducción comparativa del latín al español del proemio de la citada obra, este artículo pretende: 1) contextualizar al autor novohispano, 2) mostrar la recepción de la ciencia moderna desde los elementos aristotélicos de los que Guevara dispuso, y 3) (...) mostrar que la modernidad y la tradición aristotélica se enriquecieron mutuamente; y lo que debía de reformarse era la escolástica anquilosada. Se concluye que a través del proemio De vicissitundinibus de Guevara se evidencia la recepción mexicana de la modernidad emanada de una mentalidad aristotélica. (shrink)

Este trabajo muestra los resultados de una investigación realizada en ESIC UNIVERSITY, consistente en la medición del impacto empresarial que puede tener la robótica. El estudio analiza las opiniones de los alumnos tras visitar y experimentar en un espacio dotado de robots y humanoides, denominado Aula Tech. Se realizó durante 2018 y 2021. El estudio fue cuantitativo. La muestra la compusieron 284 individuos, con paridad de género (140 mujeres y 139 hombres). Los resultados muestran el total desconocimiento de la robótica (...) en la empresa y el temor a la convivencia social. (shrink)

En este artículo se pretende poner de manifiesto las restricciones impuestas por el Estado español a la libertad de movimiento. Una vez descritas estas restricciones en las tres primeras olas de la pandemia de la Covid-19, se reflexiona sobre los posibles excesos del gobierno aumentando su control sobre una ciudadanía preocupada y con temor hacia la pandemia. Sin embargo, existe una consecuencia inesperada en las actitudes políticas de las personas: una reducción de las preferencias hacia la democracia, a favor del (...) autoritarismo. (shrink)

The objective of this research is to identify the main weaknesses of corporate social responsibility in the textile sector and to propose procedures that help to overcome them. We start from the assumption that the asymmetries and necessary relationships generated to manufacture textile garments in the international context are not attributable to a single circumstance. Equally, it is reasonable to assume that the solutions to these asymmetries are affected by the identification and transversality of such circumstances. The present research was (...) carried out by gathering the opinions and solutions of participants in a Delphi analysis to uncover the critical points and vulnerabilities of the sector. The weaknesses of the sector were then identified following the analysis of responses from two expert panels to two multidisciplinary questionnaires, the questions for which were developed from the stated hypotheses.El objetivo de esta investigación es detectar las principales debilidades del sector textil en relación con la responsabilidad social empresarial y proponer medidas que contribuyan a superarlas. Partimos de que las asimetrías y relaciones generadas necesarias para fabricar prendas textiles en el contexto internacional no son imputables a una sola circunstancia. Es igualmente entendible que sus soluciones pasen por la identificación y la transversalidad de dichas circunstancias. En la presente investigación, lo llevamos a cabo mediante la de la recolección de opiniones y soluciones expresadas por diferentes participantes, y a través de un análisis Delphi, para conocer cuáles son los puntos críticos y vulnerabilidades del sector, y la posterior identificación de sus debilidades tras el análisis de las respuestas de dos paneles de expertos a dos cuestionarios multidisciplinares con preguntas desarrolladas sobre las hipótesis planteadas. (shrink)

El ejercicio utópico de la voluntad política que caracteriza el XIX latinoamericano se desgrana en las categorías de unidad continental, unidad cultural, unidad en el concepto de Patria, etc.; clausurando un apretado siglo de extrema densidad social y política, un siglo de utopía en el discurso. Una Ilustración insuficiente, el coste del hibridismo, las comunidades imaginadas, las dependencias encadenadas, las resistencias, los logros y los fracasos, traducen el sacrificio, la traición y la inconclusión de la tarea emancipatoria. Si podemos contemplar (...) hoy día el descubrimiento de América como el comienzo de una empresa civilizatoria, y admirar sus obras más allá del trabajo infatigable de una destrucción que no ha cesado, es sólo en virtud de esta tradición de crítica y resistencia , a lo largo de un proceso social, artístico y literario ininterrumpido hasta el día de hoy. (shrink)

Dean MacCannell (Washington, 1940), catedrático emérito de paisajismo de la Universidad de California en Davis, es un autor de referencia internacional en antropología, sociología y ética del turismo, con obras fundamentales como _The Tourist: A New Theory of the Leisure Class _(1976), _Empty Meeting Grounds_ (1992) – ambas publicadas en España por la editorial Melusina- o _The Ethics of Sightseeing_ (2011). Considerando que uno de los principales atractivos de su obra es su capacidad para captar la relación entre el turismo (...) y las transformaciones culturales y socio-económicas de los últimos cincuenta años, quisimos dirigirle una serie de preguntas para profundizar sobre su obra y reflexionar sobre el turismo en el mundo post-pandemia de la Covid-19. (Traducción al español a cargo de Carmen González). (shrink)

El presente texto se inscribe dentro de la temática dirigida a la investigación sobre la violencia intrafamiliar. Tiene como objetivo sistematizar aspectos históricos y teóricos inherentes al estudio del maltrato infantil y sus consecuencias en el ámbito social y familiar para su detección y tratamiento en el nivel de atención primaria de los servicios de salud en Cuba. Mediante una revisión bibliográfica se logró concretar un análisis documental de materiales y textos en soporte digital e impreso que condujo a los (...) acercamientos teórico e histórico del fenómeno en el ámbito internacional y nacional, para su conceptualización, la determinación de su tipología y el establecimiento de sus consecuencias; elementos imprescindibles del saber profesional del futuro egresado de las ciencias médicas, en función de su desempeño en los diferentes niveles de atención de salud, en especial, la atención primaria. The text falls within the research on intrafamiliar violence subject matter. Its objective is to systematize historical and theoretical aspects inherent to the study of child abuse and its consequences within the social and domestic scopes for its detection and treatment in the Cuban primary health care services. By means of a bibliographic review, a documentary analysis of electronic and printed form materials and texts was summarized. It led to theoretical and historical approaches to the phenomenon within the national and international scopes for its conceptualization, the establishment of its typology and consequences. They are essential elements of the professional knowledge of future medical sciences graduates towards their performance in different health care levels, especially in primary health care. (shrink)

Este artículo se centra en la música en el entorno Fluxus entendida como creación artística de aproximación a la conquista del espacio y de superación de los límites sonoros, en aras a potenciar su expresión a través de la acción del intérprete y la utilización de artefactos. El resultado de todo ello fue un repertorio de imágenes de una gran potencia connotativa en el panorama artístico de los años sesenta.

El texto aquí desarrollado aborda los principios más generales del realismo sociológico escandinavo, en particular de la teoría de la función jurisdiccional y del interés de Alf Ross, que sostiene a la objetividad y subjetividad como parte integrante de la actividad del juzgador, contrastán..

RESUMEN Con un enfoque cualitativo y alcance descriptivo, el presente artículo tiene como objetivo sintetizar aspectos de materiales publicados en diversas fuentes relacionados con el estrés para lo cual se emplea el método de revisión bibliográfica. Durante el estudio se encontraron aspectos teóricos que permiten entender la evolución del concepto, acceder a modelos, evaluar la repercusión del fenónemo y constatar instrumentos para su evaluación, así como obtener sugerencias para controlarlo. Se concluye que el estrés puede ser percibido como positivo o (...) negativo según el manejo que hace cada individuo y su estilo de afrontarlo, es una manifestación relacionada con el proceso salud enfermedad en el que, para algunos, contribuye al crecimiento personal y en otros, a su malestar o enfermedad. ABSTRACT With a qualitative approach and descriptive scope, the present article takes as an objective to synthesize aspects of materials published in diverse sources related to the stress for which uses the method of bibliographical review. During the study there were theoretical aspects that allow understanding the evolution of the concept, gaining access to models, evaluating the aftereffect of the phenomenon and state instruments for their evaluation, as well as obtaining suggestions to control it. It was concluded that the stress can be perceived as positive or negative according to the handling that there does every individual and its style of confronting it, a declaration related to the process is a health illness in the one that, for some, contributes to the personal growth and in others, to its discomfort or illness. (shrink)

El presente artículo aborda las connotaciones y los fundamentos de la paráfrasis cum canere vellem en Serv. Ecl. 6. 3. El análisis del sentido del verbo volo en este contexto y la confrontación del pasaje con Serv. Ecl. 6. 5 revelan que Servio interpreta la frase cum canerem reges et proelia como referencia a un temprano empeño de Virgilio en componer poesía épica, del que pronto desistió. Esta interpretación está condicionada por la idea de que la secuencia cronológica Églogas - (...) Geórgicas - Eneida tiene un correlato jerárquico, idea que se funda en noticias biográficas y en la teoría de la tripertita varietas. This paper focuses on the connotations and grounds of the paraphrase cum canere vellem in Serv. Ecl. 6. 3. The analysis of the sense of verb volo within this context, as well as the confrontation between that passage and Serv. Ecl. 6. 5, show that Servius interprets the clause cum canerem reges et proelia as a reference to Virgil's early endeavor to compose an epic poem, from which he shortly desisted. This interpretation is conditioned by the idea that the chronological sequence Eclogues - Georgics - Aeneid has a hierarchical correlate, an idea which is founded on biographical information and the theory of tripertita varietas. (shrink)

En la Universidad Médica “Carlos J. Finlay”, se realiza una intervención educativa con el objetivo de valorar la concepción y aplicación de un programa para un curso de preparación de metodólogos en correspondencia con sus funciones en condiciones de universalización de las Ciencias Médicas de Camagüey, en el periodo de septiembre de 2005 a junio de 2007. Se emplean diferentes métodos investigativos: los teóricos, así como la técnica de discusión grupal, permitió diseñar el programa del curso para la preparación de (...) metodólogos en condiciones de universalización y los empíricos, la obtención de algunos datos de interés acerca de los metodólogos que reciben el curso y sus valoraciones en relación con el mismo. Se constata que la preparación pedagógica y experiencia en el desempeño es insuficiente para asumir el rol de metodólogo y valoran de muy importantes los contenidos desarrollados, los métodos y formas organizativas concebidas, por lo que se concluye que el programa del curso cumple con las expectativas del metodólogo al estar diseñado teniendo en cuenta las funciones que estos desempeñan y sus necesidades sentidas A study was carried out about the intervention in education developed to increase teacher's methodological preparation under their new functions due to the fresh conditions of learning within the community applied to medicine training and education in Camagüey. It was carried out in the period of September 2005 to June 2007. Different research methods were used: the theoretical ones and the technique for group discussion help to design the course syllabus and the assessment for those teachers that received the course. It was verified that the methodological preparation and performance experience are insufficient to play their role; but they value as very important the contents, the methods and the organization of the course. The authors conclude that the course meets the expectations of training, because it was designed keeping in mind the teachers' functions and their necessities. (shrink)

In this work I reflect, from the concepts of coloniality of power (Quijano 2007a) and coloniality of gender (Lugones 2008), key elements to sentipensar,2 the struggles of Indigenous women on the continent in defense of life in their territories. It is not new for Indigenous women to mobilize together with their peoples to defend the land-territory-life, but in recent years their participation has become more visible to the extent that the threat to the territories also involves fundamental elements for the (...) reproduction of life that previously had not been of interest to capital. In this context my interest is focused on the ways in which the women of the territories create and resist from other ontologies in defense of life.Thinking the reality of our countries from the coloniality of power and the coloniality of gender implies, among other things, taking as a baseline the existence of structures of domination, exploitation, and extermination that have been reproduced over the last five centuries in Abya Yala, and that have led to the imposition of a world classification that denies the existence of other worlds that inhabit these territories, and that have been persecuted, massacred, made invisible, but that exist and re-exist (Albán 2013). (shrink)

This research aims to describe how practicing lawyers perceive ‘plain writing’ in the legal field and to conceptualize this notion through the discourse analysis of these specialists. To do so, a qualitative research framed in the interpretive paradigm has been developed. Specifically, 18 practicing lawyers, from different countries and with different specializations in the practicing of Law, were surveyed. After analyzing the discourse of the interviewed lawyers, eight macro categories accounting for plain language both generally and particularly were identified. The (...) audience was identified as a key element in the production of legal texts which facilitate justice to citizens. Based on our analysis, we conclude with a definition of plain writing. (shrink)

Es necesario establecer entornos sociales para la protección de la prensa en contextos de violencia centrada en los periodistas. En estos entornos interactúan tres esferas: la política institucional, la de justicia y la civil. México es una de las naciones con más agresiones a periodistas, lo que obliga a considerar las formas de ofrecer protección a la prensa.

Partimos de unas reflexiones sobre el Racionalismo y el Historicismo como dos enfoques con perfiles epistemológicos claramente diferenciados, que llevan a quien en ellos se sitúe a muy diversos planteamientos respecto a cualquier cuestión de carácter social. Examinamos el alcance y potencial de ambos en su argumentación cuando pretenden dar cuenta del origen de la sociedad política y todo lo que ello representa, instituciones, valores… Esbozada esta cuestión se recala en el análisis jovellanista de la mujer. Jovellanos conoce bien ambos (...) enfoques, sus lecturas de los autores aquí citados están plenamente contrastadas y no son objeto de este trabajo; apuesta por el enfoque historicista inglés para comprender el rol femenino, para situar a las instituciones que le niegan su ingreso en su decurso histórico, y curiosamente convierte el modelo historicista en una vía de análisis y acceso a propuestas de una extraordinaria modernidad. Analizamos desde estos enfoques los planes de estudio en los que estamos inmersos. (shrink)